span.def {
	font-weight: bold;
	font-family: monospace;
}
span.notes {
	color: green;
	font-family: sans-serif;
}
